Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·1d
🌀Differential Geometry
Checking data integrity
eclecticlight.co·9h
✅Checksum Validation
Piano Keys
mathpages.com·17h·
Discuss: Hacker News
🌈Spectral Audio
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·18h
🔢Bitwise Algorithms
A Poet Completes the Square
denisegaskins.com·2h
⚔️Lean Tactics
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·3h
🎯Arithmetic Coding Theory
Asymmetry of Verification and Verifier's Law
jasonwei.net·14h·
Discuss: Hacker News
🔮Proof Search
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔄Graph Rewriting
A Continental Divide for Newton’s Method
johndcook.com·2d
📐Error Bounds
What are Matrix Operations?
dev.to·13h·
Discuss: DEV
📐Linear Algebra
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·2h
📡Bluetooth Archaeology
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
A Problem About Elevens, and Some Methods of Casting Out Sevens, and Other Primes.
pballew.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Tactics
A Minimal DDPM
github.com·13h·
Discuss: Hacker News
🧠Machine Learning
Linkage
11011110.github.io·1d
🕸️Algebraic Topology
Alcoclock: It's 5 O'Clock Somewhere 🍸🕔
hackster.io·1d
🔌Single Board PC
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms